isatom2($z$;$a$;$b$) \textbf{is Primitive}